module M

match () with
| _ when (() :? unit) -> ()
